81. Notes on logic and set theory
پدیدآورنده : P. T. Johnstone
موضوع : Logic, Symbolic and mathematical,set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
82. Notes on logic and set theory
پدیدآورنده : Johnstone, P. T.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
J64
1987
83. Notes on logic and set theory
پدیدآورنده : Johnstone, P. T.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Logic, Symbolic and mathematical.,، Set theory
رده :
QA
9
.
J6N6
84. Ones and zeroes
پدیدآورنده : John Gregg
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory
رده :
TK
,
7888
.
4
,.
G74
85. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
86. Proof, logic, and conjecture :
پدیدآورنده : Robert S. Wolf.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Number theory.,Set theory.
رده :
QA9
.
W748
1998
87. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده : Wolf, Robert S.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
88. Quality, Resemblance, and order
پدیدآورنده : Shreider, Iulii Anatolevich
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S524
1975
89. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
90. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
91. Roads to infinity : the mathematics of truth and proof
پدیدآورنده : Stillwell, John.
موضوع : ، Set theory,، Infinite,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
92. Set theory and its logic
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
93. Set theory and its logic
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q56S4
94. Set theory and logic
پدیدآورنده : Frankel, Abraham Adolf
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
95. Set theory and logic
پدیدآورنده : Fraenkel, Abraham Adolf
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
96. Set theory and logic
پدیدآورنده : Fraenkel, Abraham Adolf
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
97. Set theory and logic
پدیدآورنده : Stoll, Robert Roth.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S7985
1963
98. Set theory and logic
پدیدآورنده : by Robert R. Stoll,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
S7985
248
99. Set theory and logic
پدیدآورنده : / by Abraham A. Fraenkel
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Set theory,Logic, symbolic and mathematical
رده :
512
.
817
Fr-S